∀X,ℱ(∅∈ℱ⇔2^X=⟨ℱ⟩X)